📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

The power of C++26 reflection: first class existentials
reddit.com·1h·
Discuss: r/cpp
🧮Programming Language Theory
Simpler Category Theory
ryanbrewer.dev·1d·
Discuss: Hacker News
🔄Category Theory
The Baby Paradox in Haskell
blog.jle.im·11h·
Discuss: Hacker News
🧮Programming Language Theory
Free Theory of Computation text
reddit.com·15h·
Discuss: r/compsci
🧮Programming Language Theory
the core of rust
jyn.dev·1d·
Discuss: Lobsters, Hacker News, r/rust
🦀Rust
Making Illegal States Unrepresentable in Kotlin
dev.to·13h·
Discuss: DEV
⚙Functional Programming
Stemming -- The Evolution and Current State with a Focus on Bangla
arxiv.org·36m
🧮Programming Language Theory
Sapir-Whorf does not apply to Programming Languages
buttondown.com·15h
🧮Programming Language Theory
How to Get People Excited about Functional Programming • Russ Olsen & James Lewis • GOTO 2024
youtube.com·16h
⚙Functional Programming
An Update on Pytype
github.com·1d·
Discuss: Hacker News
🧮Programming Language Theory
Contrasting Data and Objects (2018)
tedinski.com·23h·
Discuss: Hacker News
⚙Functional Programming
Exhaustive Switch Expressions in TypeScript
replo.computer·1d·
Discuss: Hacker News, r/typescript
🧮Programming Language Theory
Improvements to OCaml code editing: the basics of a refactor engine
tarides.com·1d·
Discuss: Lobsters, Hacker News
🔧Compiler Design
A practical introduction to parsing in Rust
jhwlr.io·2d·
Discuss: r/rust
🔧Compiler Design
Using Derive_more for Errors in Rust
quamserena.com·8h·
Discuss: Hacker News
🦀Rust
Optique: Type-safe combinatorial CLI parser for TypeScript
optique.dev·1d·
Discuss: Lobsters, Hacker News, r/javascript, r/node, r/typescript
🧮Programming Language Theory
Switch Statements
learn.microsoft.com·21h·
Discuss: DEV
⚙Functional Programming
"Python for Those Who Cannot Even", a Book by Claude Code
github.com·8h·
Discuss: Hacker News
🧮Programming Language Theory
Show HN: Using Common Lisp from Inside the Browser
turtleware.eu·16h·
Discuss: Lobsters, Hacker News
📝Lisp
X Design Notes: Unifying OCaml Modules and Values
blog.polybdenum.com·3d·
Discuss: r/programming
📝Lisp